<?php
/* This script will close the connection to the database server */

mysql_close($mysql);
?>
